package entities;

import entities.concept.Concept;

public class ConceptAssertion extends Assertion {
	Individual a;
	Concept concept;
	
	public ConceptAssertion (Individual a, Concept c){
		this.concept = c;
		this.a = a;
	}

	public Individual getIndividual(){
		return this.a;
	}
	
	public Concept getConcept(){
		return this.concept;
	}
	
	@Override
	public String toString(){	
		return this.a+" : "+this.concept;	
	}


	
}
